s:POSet{i}. AntiSym(|s|;a,b.a  b) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet, POSet{i}
Definitions	True, T, x,y. t(x;y), t  T, x:A. B(x), P  Q, DSet, x(s1,s2), SqStable(P), QOSet, POSet{i}
Lemmas	poset wf, set leq wf, set car wf, sq stable anti sym